(Integrate comment here about smooth and flat versions.)
Example
: Consider an E-∞ ring, , the ∞-category of -algebras, an ∞-category of -modules. Let be left adjoint to the forgetful functor . Set , a spectral monoid scheme which represents . Let be the spectral group scheme obtained by inverting the determinant element in (Ohara).
References
Mariko Ohara, On the K-theory of finitely generated projective modules over a spectral ring, slide 27 of slides.
Last revised on December 29, 2016 at 11:34:08.
See the history of this page for a list of all contributions to it.